Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
نویسندگان
چکیده
1 Computational Biomodelling Laboratory Department of Information Technologies Åbo Akademi University, Turku 20520, Finland [email protected] 2 Dipartimento di Informatica, Sistemistica e Comunicazione Università degli Studi di Milano – Bicocca Viale Sarca 336/14, 20126 Milano, Italy [email protected] 3 Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074, Hubei, People’s Republic of China [email protected], [email protected], [email protected]
منابع مشابه
Solving Numerical NP-complete Problems by Spiking Neural P Systems with Pre–computed Resources
Recently we have considered the possibility of using spiking neural P systems for solving computationally hard problems, under the assumption that some (possibly exponentially large) pre-computed resources are given in advance. In this paper we continue this research line, and we investigate the possibility of solving numerical NP-complete problems such as Subset Sum. In particular, we first pr...
متن کاملSpiking Neural P Systems with Neuron Division and Dissolution
Spiking neural P systems are a new candidate in spiking neural network models. By using neuron division and budding, such systems can generate/produce exponential working space in linear computational steps, thus provide a way to solve computational hard problems in feasible (linear or polynomial) time with a "time-space trade-off" strategy. In this work, a new mechanism called neuron dissoluti...
متن کاملUniform Solution of QSAT using Polarizationless Active Membranes
It is known that the satisfiability problem (SAT) can be solved with a semi-uniform family of deterministic polarizationless P systems with active membranes with non–elementary membrane division. We present a double improvement of this result by showing that the satisfiability of a quantified Boolean formula (QSAT) can be solved by a uniform family of P systems of the same kind.
متن کاملSpike Trains in Spiking Neural P Systems
We continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate with each other by means of short electrical impulses, identical in shape (voltage), but emitted at precise moments of time. The sequence of moments when a neuron emits a spike is called the spike train (of this neuron); by designating one neuron as the output neuron of a...
متن کاملAn Optimization Spiking Neural P System for Approximately Solving Combinatorial Optimization Problems
Membrane systems (also called P systems) refer to the computing models abstracted from the structure and the functioning of the living cell as well as from the cooperation of cells in tissues, organs, and other populations of cells. Spiking neural P systems (SNPS) are a class of distributed and parallel computing models that incorporate the idea of spiking neurons into P systems. To attain the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 411 شماره
صفحات -
تاریخ انتشار 2010